Instance Verification Kit (IVK)

mutex lock @ [4769+24+/linux-3.17-rc1/include/media/videobuf-core.h]
Instance Signature: vb_lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
stream_next_buffer [15587+18+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
stream_next_buffer_check_queue [14695+30+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_dqbuf [16009+14+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_mmap_free [8876+18+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_mmap_mapper [26645+20+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_mmap_setup [9974+19+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_poll_stream [25449+20+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_qbuf [12190+13+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_querybuf [11610+17+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_queue_lock [4700+19+/linux-3.17-rc1/include/media/videobuf-core.h]
videobuf_queue_unlock [4816+21+/linux-3.17-rc1/include/media/videobuf-core.h]
videobuf_read_one [20106+17+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_read_start [23224+19+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_read_stop [23427+18+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_read_stream [23831+20+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_reqbufs [10272+16+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_stop [23599+13+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_streamoff [17653+18+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_streamon [16888+17+/linux-3.17-rc1/drivers/media/v4l2-core/videobuf-core.c]